Simply Presented Valuated Modules
نویسندگان
چکیده
منابع مشابه
Simply Presented Tag Modules
A tag module is a generalization, in any abelian category, of a torsion abelian group. The theory of such modules is developed, it is shown that countably generated tag modules are simply presented, and that Ulm's theorem holds for simply presented tag modules. Zippin's theorem is stated and proved for countably generated tag modules. 1. TAG-modules In the theory of torsion abelian groups, a di...
متن کاملQuasi-Exact Sequence and Finitely Presented Modules
The notion of quasi-exact sequence of modules was introduced by B. Davvaz and coauthors in 1999 as a generalization of the notion of exact sequence. In this paper we investigate further this notion. In particular, some interesting results concerning this concept and torsion functor are given.
متن کاملRecognizing Badly Presented Z-modules
Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith normal form of an integer matrix. We discuss algorithms for Smith normal form computation, and present practical algorithms which give excellent performance for m...
متن کاملON ALMOST ω1-n-SIMPLY PRESENTED ABELIAN p-GROUPS
We define and investigate the class of almost ω1-n-simply presented p-torsion abelian groups, which class properly contains the subclasses of almost n-simply presented groups and ω1-n-simply presented groups, respectively. The obtained results generalize those obtained by us in Korean J. Math. (2014) and J. Algebra Appl. (2015).
متن کاملA Coq Formalization of Finitely Presented Modules
This paper presents a formalization of constructive module theory in the intuitionistic type theory of Coq. We build an abstraction layer on top of matrix encodings, in order to represent finitely presented modules, and obtain clean definitions with short proofs justifying that it forms an abelian category. The goal is to use it as a first step to get certified programs for computing topologica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1994
ISSN: 0021-8693
DOI: 10.1006/jabr.1994.1245